Homological Algebra for the Representation Green Functor for Abelian Groups
نویسنده
چکیده
In this paper we compute some derived functors Ext of the internal homomorphism functor in the category of modules over the representation Green functor. This internal homomorphism functor is the left adjoint of the box product. When the group is a cyclic 2-group, we construct a projective resolution of the module fixed point functor, and that allows a direct computation of the graded Green functor Ext. When the group is G = Z/2 × Z/2, we can still build a projective resolution, but we don’t have explicit formulas for the differentials. The resolution is built from long exact sequences of projective modules over the representation functor for the subgroups of G by using exact functors between these categories of modules. This induces a filtration which gives a spectral sequence which converges to the desired Ext functors.
منابع مشابه
Intersection Homological Algebra
We investigate the abelian category which is the target of intersection homology. Recall that, given a stratified space X, we get intersection homology groups IHnX depending on the choice of an n-perversity p. The n-perversities form a lattice, and we can think of IHnX as a functor from this lattice to abelian groups, or more generally R-modules. Such perverse R-modules form a closed symmetric ...
متن کاملHomological Algebra in the Category of Γ-modules
We study homological algebra in the abelian category Γ̃, whose objects are functors from finite pointed sets to vector spaces over Fp. The full calculation of Tor ∗ -groups between functors of degree not exceeding p is presented. We compare our calculations with known results on homology of symmetric groups, Steenrod algebra and functor homology computations in the abelian category F of functors...
متن کاملOn categories of merotopic, nearness, and filter algebras
We study algebraic properties of categories of Merotopic, Nearness, and Filter Algebras. We show that the category of filter torsion free abelian groups is an epireflective subcategory of the category of filter abelian groups. The forgetful functor from the category of filter rings to filter monoids is essentially algebraic and the forgetful functor from the category of filter groups to the cat...
متن کاملThe Nonabelian Bar Resolution
We develop the theory of parity quasi-complexes (PQC), preparing the set up for defining derived functors using resolutions in the nonabelian case. A homotopy structure on the category of PQC is defined, yielding a 2-category structure. The nonabelian homology functor factors through the corresponding homotopy category. Following the relative homological algebra approach, resolutions are define...
متن کاملRepresentation Dimension as a Relative Homological Invariant of Stable Equivalence
Over an Artin algebra Λ many standard concepts from homological algebra can be relativized with respect to a contravariantly finite subcategory C of mod-Λ, which contains the projective modules. The main aim of this article is to prove that the resulting relative homological dimensions of modules are preserved by stable equivalences between Artin algebras. As a corollary, we see that Auslander’...
متن کامل